121. Frontiers of Expert Systems
Author: by Chilukuri Krishna Mohan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
122. Fundamentals of artificial intelligence research :
Author: Ph. Jorrand, J. Kelemen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.
Classification :
Q334
.
P456
1991
123. Fuzzy Relational Systems
Author: by Radim Bělohlávek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
124. Genetic and Evolutionary Computation - GECCO 2003.
Author: Erick Cant-︢Paz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ebooks -- UML.
125. Granular Computing
Author: edited by Witold Pedrycz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
126. Guide to discrete mathematics :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
Classification :
QA76
.
9
.
M35
127. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
Author: Louise Gerdes, book editor.
Library: Library of Islamic Parliament (Tehran)
Subject:
128. Includes bibliographical references (p. 375) and index. 0
Author: Brian M. Fagan.
Library: Library of Islamic Parliament (Tehran)
Subject:
129. Includes bibliographical references (p. 225-231) and index. 0
Author: Andrew Green.
Library: Library of Islamic Parliament (Tehran)
Subject:
130. Information Systems Engineering :
Author: by Arne Sølvberg, David Chenho Kung.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Management information systems.,Software engineering.
Classification :
T58
.
5
B937
1993
131. Intelligent Robotic Systems
Author: by Witold Jacak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer science.,Computers.,Mechanical engineering.,Mechanical engineering.,Artificial Intelligence (incl. Robotics),Theory of Computation.
132. Interactive Systems:
Author: edited by Fabio Paternó.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
T385
.
E358
1995
133. Introduction to formal philosophy /
Author: Sven Ove Hansson, Vincent F. Hendricks, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
Classification :
B808
.
5
.
I58
2018
134. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
135. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67
136. Logic, Language and Reasoning
Author: edited by Hans Jürgen Ohlbach, Uwe Reyle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
137. Logic-based program synthesis and transformation :
Author: Fred Mesnard, Peter J. Stuckey (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
Classification :
QA76
.
63
138. Logic of Programming and Calculi of Discrete Design :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
9
.
L63
E358
1987
139. Logic programming : formal methods and practical applications
Author: edited by Christoph Beierle, Lutz Plumer
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming
Classification :
QA
76
.
63
.
L63294
1995
140. Many-Valued Logics :
Author: by Leonard Bolc, Piotr Borowik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
45
B954
1992
